More from this Author

Numerical Software Verification

by Majid Zamani (Editor), Damien Zufferey (Editor)

Verification, Model Checking, and Abstract Interpretation

by Dirk Beyer (Editor), Damien Zufferey (Editor)